// 获取所有菜单按钮
const homeButton = document.getElementById('home');
const blogButton = document.getElementById('blog');
const toolsBoxButton = document.getElementById('tools_box');
const contestButton = document.getElementById('contest');
const rankingButton = document.getElementById('ranking');

// 为每个按钮添加点击事件监听器
homeButton.addEventListener('click', function() {
    window.location.href = "/";
});

blogButton.addEventListener('click', function() {
    window.location.href = "/blog";
});

toolsBoxButton.addEventListener('click', function() {
    window.location.href = "/tools_box";
});

contestButton.addEventListener('click', function() {
    window.location.href = "/contest";
});

rankingButton.addEventListener('click', function() {
    window.location.href = "/ranking";
});